| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| abs-to-name | Text File | 10 | 132b | 1998-10-23 |
| abs-to-oct | Text File | 10 | 139b | 1998-10-23 |
| is-note-name | Text File | 13 | 243b | 1998-10-23 |
| note-to-abs | Text File | 8 | 116b | 1998-10-23 |
| note-to-number | Text File | 16 | 158b | 1998-10-23 |
| number-to-note | Text File | 18 | 221b | 1998-10-23 |